#base de datos deductiva